operations recorders - German English Dictionary